Skip to content

Instantly share code, notes, and snippets.

@AndrasKovacs
AndrasKovacs / NbESharedQuote.hs
Last active May 9, 2024 16:35
NbE with implicit sharing in quotation
{-
At ICFP 2022 I attended a talk given by Tomasz Drab, about this paper:
"A simple and efficient implementation of strong call by need by an abstract machine"
https://dl.acm.org/doi/10.1145/3549822
This is right up my alley since I've implemented strong call-by-need evaluation
quite a few times (without ever doing more formal analysis of it) and I'm also
interested in performance improvements. Such evaluation is required in
conversion checking in dependently typed languages.
@martingaido
martingaido / HandsTracker.py
Created March 27, 2021 10:44
Hands Tracker using OpenCV & MediaPipe
# pip install mediapipe
import cv2
import mediapipe as mp
import time
cap = cv2.VideoCapture(0)
mpHands = mp.solutions.hands
hands = mpHands.Hands() # using default paramaters of 'Hands()'
mpDraw = mp.solutions.drawing_utils
@Srfigie
Srfigie / .gitattributes
Created February 2, 2020 14:30 — forked from nemotoo/.gitattributes
.gitattributes for Unity3D with git-lfs
## Unity ##
*.cs diff=csharp text
*.cginc text
*.shader text
*.mat merge=unityyamlmerge eol=lf
*.anim merge=unityyamlmerge eol=lf
*.unity merge=unityyamlmerge eol=lf
*.prefab merge=unityyamlmerge eol=lf
@jcfrank
jcfrank / init.vim
Created May 9, 2024 16:16
My neovim init.vim
"" customize settings
"set number
set relativenumber
set showmatch
set ignorecase
set confirm
set shiftwidth=4
set tabstop=8
set softtabstop=4
set expandtab
@egermano
egermano / README.md
Last active May 9, 2024 16:28
Gerador de CPF para Postman

Gerador de CPF

Criei esse script para gerar CPF randômicos para test de API no Postman.

Adicione esse script na aba Pre-request Script e adicione a variável {{cpf}}na sua request.

Sempre que você chamar o Postman vai chamar o seu script antes de enviar a request gerando um novo CPF em toda request.

@LufsX
LufsX / clash.yaml
Last active May 9, 2024 16:26
Profile
#####################################
# 基于 DivineEngine/Profiles 的配置文件
# 添加/修改一些基础配置
# 包括 DNS, Custom Rules 等
# 建议搭配 https://github.com/LufsX/shell-sub 并开启增强模式食用 ~
#####################################
# Port of HTTP(S) proxy server on the local end
# port: 7890
@hwkr
hwkr / auto-animate.tsx
Created July 27, 2022 17:51
Auto Animate Component
import { ElementType, HTMLAttributes } from "react";
import { useAutoAnimate } from "@formkit/auto-animate/react";
interface Props extends HTMLAttributes<HTMLElement> {
as?: ElementType;
}
export const AutoAnimate: React.FC<Props> = ({
as: Tag = "div",
children,
@CPT-GrayWolf
CPT-GrayWolf / aacsdb-update
Last active May 9, 2024 16:22
Install Blu-Ray AACS VUK keys for libaacs automatically from the FindVUK database.
#! /bin/bash
#
# This is a simple bash script, designed to allow
# quick download and installation of the FindVUK
# AACS VUK database.
#
# This allows Blu-Ray disks who's VUK is known
# to be played on systems using libaacs.
#
# It's reccomended to schedule this file to run
@aamiaa
aamiaa / CompleteDiscordQuest.md
Last active May 9, 2024 16:21
Complete Recent Discord Quest

Complete Recent Discord Quest

Note

This no longer works in browser!

Note

This no longer works if you're alone in vc! Somebody else has to join you!

How to use this script:

  1. Accept the quest under User Settings -> Gift Inventory